Computable number

Results: 71



#Item
11Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation

Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2006-06-09 09:40:53
12Computability Theory, Reverse Mathematics, and Ordered Fields Oscar Louis Levin, Ph.D. University of Connecticut, 2009

Computability Theory, Reverse Mathematics, and Ordered Fields Oscar Louis Levin, Ph.D. University of Connecticut, 2009

Add to Reading List

Source URL: www.math.uconn.edu

Language: English - Date: 2009-04-27 16:38:49
13ASYMPTOTIC DENSITY, COMPUTABLE TRACEABILITY, AND 1-RANDOMNESS URI ANDREWS, MINGZHONG CAI, DAVID DIAMONDSTONE, CARL JOCKUSCH, AND STEFFEN LEMPP Abstract. Let r be a real number in the unit interval [0, 1]. A set A ⊆ ω

ASYMPTOTIC DENSITY, COMPUTABLE TRACEABILITY, AND 1-RANDOMNESS URI ANDREWS, MINGZHONG CAI, DAVID DIAMONDSTONE, CARL JOCKUSCH, AND STEFFEN LEMPP Abstract. Let r be a real number in the unit interval [0, 1]. A set A ⊆ ω

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English
    14Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second,

    Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second,

    Add to Reading List

    Source URL: www.scottaaronson.com

    Language: English - Date: 2008-12-18 11:10:27
    15Indifferent sets Santiago Figueira∗ Joseph S. Miller† Andr´e Nies‡

    Indifferent sets Santiago Figueira∗ Joseph S. Miller† Andr´e Nies‡

    Add to Reading List

    Source URL: www.glyc.dc.uba.ar

    Language: English - Date: 2009-01-20 10:12:05
    16Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

    Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

    Add to Reading List

    Source URL: www.paultaylor.eu

    Language: English - Date: 2009-02-12 12:33:09
    17Feasible analysis, randomness, and base invariance Santiago Figueira Andr´e Nies March 26, 2014

    Feasible analysis, randomness, and base invariance Santiago Figueira Andr´e Nies March 26, 2014

    Add to Reading List

    Source URL: www.glyc.dc.uba.ar

    Language: English - Date: 2014-03-26 16:19:21
    18Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

    Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

    Add to Reading List

    Source URL: www.paultaylor.eu

    Language: English - Date: 2009-02-12 12:32:50
    19Alan Turing: the logical and physical basis of computing Andrew Hodges∗ Wadham College, University of Oxford, Oxford OX1 3PN, U.K. This paper is based on the talk given on 5 June 2004 at the conference at Manchester Un

    Alan Turing: the logical and physical basis of computing Andrew Hodges∗ Wadham College, University of Oxford, Oxford OX1 3PN, U.K. This paper is based on the talk given on 5 June 2004 at the conference at Manchester Un

    Add to Reading List

    Source URL: www.bcs.org

    Language: English - Date: 2011-01-10 14:18:09
    20Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction

    Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction

    Add to Reading List

    Source URL: www.ams.org

    Language: English - Date: 2006-02-08 14:25:07